MAYBE 19.577
↳ HASKELL
↳ BR
((range :: (Char,Char) -> [Char]) :: (Char,Char) -> [Char]) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((range :: (Char,Char) -> [Char]) :: (Char,Char) -> [Char]) |
import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
takeWhile p [] = [] takeWhile p (x : xs)
| p x
= x : takeWhile p xs | otherwise
= []
takeWhile p [] = takeWhile3 p [] takeWhile p (x : xs) = takeWhile2 p (x : xs)
takeWhile0 p x xs True = []
takeWhile1 p x xs True = x : takeWhile p xs takeWhile1 p x xs False = takeWhile0 p x xs otherwise
takeWhile2 p (x : xs) = takeWhile1 p x xs (p x)
takeWhile3 p [] = [] takeWhile3 vz wu = takeWhile2 vz wu
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
((range :: (Char,Char) -> [Char]) :: (Char,Char) -> [Char]) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
↳ Narrow
(range :: (Char,Char) -> [Char]) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
↳ QDP
↳ ForwardInstantiation
↳ Narrow
new_map(wv21, wv22, Zero, Succ(wv240), ba) → new_map(wv21, Succ(new_primPlusNat(wv22)), Succ(Succ(new_primPlusNat(wv22))), Succ(wv21), ba)
new_map(wv21, wv22, Zero, Zero, ba) → new_map0(wv21, wv22, ba)
new_map0(wv21, wv22, ba) → new_map(wv21, Succ(new_primPlusNat(wv22)), Succ(Succ(new_primPlusNat(wv22))), Succ(wv21), ba)
new_map(wv21, wv22, Succ(wv230), Succ(wv240), ba) → new_map(wv21, wv22, wv230, wv240, ba)
new_primPlusNat(Succ(wv220)) → Succ(wv220)
new_primPlusNat(Zero) → Zero
new_primPlusNat(Zero)
new_primPlusNat(Succ(x0))
new_map(x0, x1, Succ(Zero), Succ(Zero), x4) → new_map(x0, x1, Zero, Zero, x4)
new_map(x0, x1, Succ(Zero), Succ(Succ(y_2)), x4) → new_map(x0, x1, Zero, Succ(y_2), x4)
new_map(x0, x1, Succ(Succ(y_2)), Succ(Succ(y_3)), x4) → new_map(x0, x1, Succ(y_2), Succ(y_3), x4)
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
↳ QDP
↳ ForwardInstantiation
↳ QDP
↳ MNOCProof
↳ Narrow
new_map(wv21, wv22, Zero, Succ(wv240), ba) → new_map(wv21, Succ(new_primPlusNat(wv22)), Succ(Succ(new_primPlusNat(wv22))), Succ(wv21), ba)
new_map(x0, x1, Succ(Zero), Succ(Zero), x4) → new_map(x0, x1, Zero, Zero, x4)
new_map(wv21, wv22, Zero, Zero, ba) → new_map0(wv21, wv22, ba)
new_map(x0, x1, Succ(Zero), Succ(Succ(y_2)), x4) → new_map(x0, x1, Zero, Succ(y_2), x4)
new_map0(wv21, wv22, ba) → new_map(wv21, Succ(new_primPlusNat(wv22)), Succ(Succ(new_primPlusNat(wv22))), Succ(wv21), ba)
new_map(x0, x1, Succ(Succ(y_2)), Succ(Succ(y_3)), x4) → new_map(x0, x1, Succ(y_2), Succ(y_3), x4)
new_primPlusNat(Succ(wv220)) → Succ(wv220)
new_primPlusNat(Zero) → Zero
new_primPlusNat(Zero)
new_primPlusNat(Succ(x0))
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
↳ QDP
↳ ForwardInstantiation
↳ QDP
↳ MNOCProof
↳ QDP
↳ Narrow
new_map(wv21, wv22, Zero, Succ(wv240), ba) → new_map(wv21, Succ(new_primPlusNat(wv22)), Succ(Succ(new_primPlusNat(wv22))), Succ(wv21), ba)
new_map(wv21, wv22, Zero, Zero, ba) → new_map0(wv21, wv22, ba)
new_map(x0, x1, Succ(Zero), Succ(Zero), x4) → new_map(x0, x1, Zero, Zero, x4)
new_map0(wv21, wv22, ba) → new_map(wv21, Succ(new_primPlusNat(wv22)), Succ(Succ(new_primPlusNat(wv22))), Succ(wv21), ba)
new_map(x0, x1, Succ(Zero), Succ(Succ(y_2)), x4) → new_map(x0, x1, Zero, Succ(y_2), x4)
new_map(x0, x1, Succ(Succ(y_2)), Succ(Succ(y_3)), x4) → new_map(x0, x1, Succ(y_2), Succ(y_3), x4)
new_primPlusNat(Succ(wv220)) → Succ(wv220)
new_primPlusNat(Zero) → Zero
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
↳ Narrow
↳ QDP
↳ PisEmptyProof